@misc{dummy,
title={{Nothing to see here, move along.}}
}

@incollection{GMcasestudy,
  title={Model {T}ransformations for {M}igrating {L}egacy {M}odels: {A}n {I}ndustrial {C}ase {S}tudy},
  author={Selim, Gehan M K and Wang, Shige and Cordy, James R and Dingel, Juergen},
  booktitle={ECMFA},
  pages={90--101},
  year={2012},
  publisher={Springer}
}

@misc{systemp,
  title={{AUTOSAR} {C}onsortium. {AUTOSAR} {S}ystem {T}emplate, \url{http://{AUTOSAR}.org/index.php?p=3\&up=1\&uup=3\& uuup=3\&uuuup=0\& uuuuup=0/{AUTOSAR}\_{TPS}\_{S}ystem{T}emplate.pdf}},
  year={2007}
}

@article{selimICGT2014,
  title={Specification and {V}erification of {G}raph-{B}ased {M}odel {T}ransformation {P}roperties},
  author={Selim, Gehan M K and L{\'u}cio, Levi and Cordy, James R and Dingel, Juergen and Oakes, Bentley J},
  journal={7th International Conference on Graph Transformation (ICGT)},
  year={2014},
  pages={113-129}
}

@InProceedings{VOLT2012,
  author = 	 {{A}mrani, {M}oussa and {L}\'ucio, {L}evi and {S}elim, {G}ehan and
	{C}ombemale, {B}enoit and {D}ingel, {J}\"uergen and {V}angheluwe,
	{H}ans and {L}e {T}raon, {Y}ves and {C}ordy, {J}ames {R}.},
  title = 	 {{A} {T}ridimensional {A}pproach for {S}tudying the {F}ormal {V}erification
	of {M}odel {T}ransformations},
  booktitle = {VOLT},
  pages = 	 {921--928},
  year = 	 {2012}
}

@article{rahim2013survey,
  title={{A S}urvey of {A}pproaches for {V}erifying {M}odel {T}ransformations},
  author={Rahim, Lukman Ab and Whittle, Jon},
  journal={SoSyM},
  pages={1--26},
  year={2013},
  publisher={Springer}
}

@InProceedings{BarrocaLAFS10,
  Title                    = {{DSLTrans: A Turing Incomplete Transformation Language}},
  Author                   = {Barroca, B. and L\'ucio, L. and Amaral, V. and F{\'e}lix, R. and Sousa, V.},
  Booktitle                = {SLE},
  Year                     = {2010},
  Pages                    = {296-305},
  Publisher                = {Springer},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-19440-5_19}
}

@Article{Sendall2003,
  Title                    = {{Model Transformation: The Heart and Soul of Model-Driven Software Development}},
  Author                   = {Sendall, S. and Kozaczynski, W.},
  Journal                  = {IEEE Software},
  Year                     = {2003},

  Month                    = {September},
  Pages                    = {42--45},
  Volume                   = {20},

  Address                  = {Los Alamitos, CA, USA},
  Issue                    = {5},
  Numpages                 = {4},
  Publisher                = {IEEE}
}

@article{LAD+2014,
year={2014},
journal={Software \& Systems Modeling},
title={Model transformation intents and their properties},
publisher={Springer Berlin Heidelberg},
author={L\'ucio, Levi and Amrani, Moussa and Dingel, Juergen and Lambers, Leen and Salay, Rick and Selim, GehanM.K. and Syriani, Eugene and Wimmer, Manuel},
pages={1-38},
}

@InProceedings{EhrigEhrigTaentzerdeLaraVarroVarro2005,
  Title                    = {{T}ermination {C}riteria for {M}odel {T}ransformation},
  Author                   = {Ehrig, H.-K. and Taentzer, G. and De Lara, J. and Varr{\'o}, D. and Varr{\'o}-Gyapai, S.},
  Booktitle                = {Transformation Techniques in Software Engineering},
  Year                     = {2005},
  Publisher                = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}
}

@Article{J:Lambers-etAl-2006,
  Title                    = {{E}fficient {D}etection of {C}onflicts in {G}raph-based {M}odel {T}ransformation},
  Author                   = {Lambers, L. and Ehrig, H. and Orejas, F.},
  Journal                  = {Electronic Notes in Computer Science},
  Year                     = {2006},
  Volume                   = {152}
}

@InProceedings{Lucio:10,
  Title                    = {{A} {T}echnique for {A}utomatic {V}alidation of {M}odel {T}ransformations},
  Author                   = {L\'{u}cio, L. and Barroca, B. and Amaral, V.},
  Booktitle                = {{MoDELS}},
  Year                     = {2010},
  Pages                    = {136--150},
  Publisher                = {Springer},

  Numpages                 = {15}
}

@TechReport{LOH+14,
  Title                    = {{A Technique for Symbolically Verifying Properties of Graph-Based Model Transformations}},
  Author                   = {L\'ucio, Levi and Oakes, Bentley James and Vangheluwe, Hans},
  Institution              = {McGill University},
  Year                     = {2014},
  Note                     = {\url{http://msdl.cs.mcgill.ca/people/levi/30\_publications/files/A\_Technique\_\\for\_Symbolically\_Verifying\_Properties\_of\_Model\_Transf.pdf}},
  Number                   = {SOCS-TR-2014.1}
}


@INPROCEEDINGS{Rubin:Chechik_Quality:2013,
    author = {Julia Rubin and Marsha Chechik},
    title = {{Quality of Merge-Refactorings for Product Lines}},
    booktitle = {Proc. of FASE'13},
    year = {2013},
    pages = {83-98},
}



@inproceedings{salay14,
	author = {Salay, Rick and Famelis, Michalis and Rubin, Julia and Di Sandro,
				Alessio and Chechik, Marsha},
	title = {Lifting Model Transformations to Product Lines},
	booktitle = {Proc. of ICSE'14},
	year = {2014},
	pages = {117--128},
	numpages = {12},
} 


@inproceedings{ratiu12,
	author = {Ratiu, Daniel and Voelter, Markus and Molotnikov, Zaur and Schaetz,
	Bernhard},
	title = {Implementing Modular Domain Specific Languages and Analyses},
	booktitle = {Proceedings of the Workshop on Model-Driven Engineering,
	Verification and Validation},
	series = {MoDeVVa '12},
	year = {2012},
	isbn = {978-1-4503-1801-3},
	location = {Innsbruck, Austria},
	pages = {35--40},
	numpages = {6},
	url = {http://doi.acm.org/10.1145/2427376.2427383},
	doi = {10.1145/2427376.2427383},
	acmid = {2427383},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {domain specific languages, validation and
	verification},
} 


@inproceedings{james11,
	editor = {Peter Hofner, Annabelle McIver, Georg Struth},
	booktitle = {ATE-2011 -- Proceedings of the First Workshop on Automated Theory
	Engineering},
	publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings},
	author = {Phillip James, Markus Roggenbach},
	title = {Designing Domain Specific Languages for Verification: First Steps},
	volume = {760},
	year = {2011},
}

@inproceedings{czarnecki03,
	title={Classification of model transformation approaches},
	author={Czarnecki, Krzysztof and Helsen, Simon},
	booktitle={Proceedings of the 2nd OOPSLA Workshop on Generative Techniques
	in the Context of the Model Driven Architecture},
	volume={45},
	number={3},
	pages={1--17},
	year={2003},
	organization={Citeseer}
}
@book{ehrig06,
	title={Fundamentals of algebraic graph transformation},
	author={Ehrig, Hartmut and Ehrig, Karsten and Prange, Ulrike and Taentzer,
	Gabriele},
	volume={373},
	year={2006},
	publisher={Springer}
}


@manual{UML10,
    author = {{Object Management Group}},
    posted-at = {2010-05-13 08:54:24},
    publisher = {Object Management Group},
    series = {OMG Available Specification},
    title = {UML Superstructure Specification Version 2.3},
    url = {http://www.omg.org/spec/UML/2.3/Superstructure/PDF/},
    year = {2010}
}
